On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.This author was supported by NSF Grants DCR-8503498 and CCR-8702108.     

企业信息化递进发展模型及其水平指数

对企业信息化的发展阶段进行划分 ,提出了企业信息化递进发展模式 建立了企业信息化水平指数及测算方法 ,给出了实际应用案例     

The reality of living in passive solar homes: A user-experience study

This paper presents a study of a user-experience survey about living in passive solar homes. It was carried out at the Energy Park located in the western part of Milton Keynes. The survey focuses on the reality of living in passive solar homes as perceived or experienced by the occupant. It is hoped that the findings would come to bear on strategic passive solar design decisions that would address the improvement of the well-being of the occupant.. The survey is aimed at assessing user satisfaction with the overall performance of their homes as well as a study of some of the problems that are believed to be common in passive solar housing.Results from the survey seem to indicate that the majority of those who buy passive solar homes are motivated to do so by a desire for thermal comfort at low cost. The building aesthetics is the second most important factor, showing that passive solar home lovers are also conscious of the quality of the architectural design. The overall performance of passive solar homes in this study, with regard to thermal and visual comfort, seems to be generally satisfactory. Statistical analysis showed some significant association between some important environmental design parameters.     

水稻强化栽培下不同氮肥管理对产量与氮素利用的影响

以籼型单季超级杂交稻中浙优1号为材料,研究水稻强化栽培氮肥管理对产量与氮素利用率的影响。结果表明:水稻强化栽培与常规栽培对照比较,增产达11.1%-15.2%,氮肥回收率比对照高5.3%~26.9%,农学利用率比对照高67.2%~92.2%,生理利用率比对照高6.0%~80.5%。因此,在水稻生产上应用水稻强化栽培可以提高氮肥的利用,降低氮肥在环境中积累及对环境造成污染。此外,本文对水稻强化栽培下氮肥管理的高产机理进行了探讨。     

2005年日本爱知世界博览会的规划和展馆建筑

会期半年的2005年世界博览会已于3月25日在日本爱知县开幕。本文紧扣本届世博会“自然的睿智”这一主题，从世博会历史和本届世博会背景入手，通过对会场整体规划和一些有代表性的国家展馆进行分析和点评，阐明“减少环境负荷与可持续发展”的思想在建筑及规划上的具体体现，力求同读者共同探讨和领会世搏会场传递出的21世纪建筑的新思想、新方向。     

高水位地基处理实例

介绍高水位(距槽底300)条件下,地基处理的方法、检测及效果验证。为在此条件下进行施工作业提供依据。     

浅谈不同时期南非政府办公建筑的发展特征

南非的社会发展经历了殖民主义统治时期，种族主义统治时期和民主政府统治时期3个历史阶段。社会体制的变化深深影响了南非建筑的发展。尤其体现在政府办公建筑的形式上，本文按照历史发展的顺序，通过列举实例的方式，分别对这3个时期政府办公建筑的风格与布局牲进行了的探讨。     

塔里木盆地主要构造不整合的分布特征及其与对油气成藏的控制作用

塔里木盆地是经历了多个原型盆地发育演化的大型叠合盆地，具有多期构造运动，发育多个区域构造不整合面。通过对构造层序和主要构造不整合分布的研究，总体上可以将塔里木盆地划分为5个一级构造层序和13个二级构造层序；主要构造不整合显示出一定的分布特征，大体从隆起区、斜坡区和坳陷区，常由高角度不整合、微角度或平行不整合到整合接触带。高角度不整合带，对油气的分布、运聚成藏起着一定的促进作用和破坏作用。不整合的发育，可以成为油气侧向运移的良好通道；可以为油气提供良好的储集场所和空间；也可以使先期油气藏遭到破坏和封闭重建，发生二次成藏。阐明不整合界面的特征，可以对分析盆地演化、古隆起古地貌恢复提供有利的依据．对油气的运移、聚集、成藏研究有着重要的意义。     

支座对斜交桥桥墩抗震性能的影响

本文以市政桥梁中常见的20米跨径简支斜梁桥为例,通过空间有限元模型分析,探求不同支座形式和刚度对斜交桥桥墩地震响应的影响,对正确进行斜交桥的抗震设计提供了有意义的参考。     

廊固凹陷异常压力与天然气的分布和产出关系

重点阐述异常压力对天然气的分布影响关系。以冀中地区廊固凹陷第三系地层为研究对象，对异常压力的分布特征、天然气聚集区的异常压力与天然气产量关系等进行了分析。通过分析认为，异常压力与天然气分布聚集规律有着密切联系，分析的天然气分布聚集与产出规律对勘探开发有指导作用。